
(not (!= 1 1)) 
